Викладається нова мова ХВИЛЯ для паралельної обробки і управління великими розподіленими системами різної природи. Вона основана на динамічному створенні та навігації розподілених віртуальних мереж за допомогою мобільного рекурсивного програмного коду у режимі просторового паттерн-метчінгу. Мова дозволяє створювати складні моделюючі та керуючі системи, котрі можуть ефективно функціонувати у відкритих мережах ЕОМ без жодних центральних ресурсів. Наводяться також приклади програмування ряда мережних задач.

У роботі розглядається новий клас нейроподібних мереж, що ростуть, розроблених внаслідок синтезу наукових знань, вироблених окремими науковими дисциплінами Computer sсіеnсе.

Розглянуто деякі питання теорії даних. Визначено конкретний тип даних. З'ясовано, що тип даних - математична структура за Бурбакі й структура даних. Запропоновано їх нову філософію. Введено абстрактні структури для даних (абстрактні структури пам'яті та власне абстрактні структури для даних) і абстрактні структури (від) даних (типи даних і структури даних). Розглянуто процеси виникнення пoродження структур даних. Наведено класифікацію 28 власне абстрактних структур для даних на базі первинного відношення, що визначає структуру в інформаційній множині або (якщо не існує таке відношення) через повторне відношення лінійного порядку, породжену відображенням інформаційної множини в абстрактну пам'ять. Обговорено співвідношення власне абстрактних структур для даних з абстрактними типами даних і класами об'єктів в об'єктно-орієнтованому підході.

Запропоновано нову автоматизовану криміналістичну систему "Логос" для дослідження матеріалів і засобів звуко- та відеозапису, яка дозволяє виконувати комплексне криміналістичне дослідження характеристик мовлення й сигналограм. Показано, що використання системи значно підвищило ефективність виконання криміналістичних експертиз.

Формально описано систему автоматизованого виведення похідних словоформ для змінюваних лексем флективної мови. Подано визначення парадигматичного класу. Викладено метод параметризації лексики, який дозволив виділити понад 1300 словозмінних типів на масиві, що охоплює практично всю лексику сучасної літературної української мови.

На базі аналізу можливостей різноманітних правил обслуговування розглянуто циклічні правила з повним звільненням буфера. Подано узагальнену математичну модель розподіленої мережі обслуговування, розглянуто варіант математичної моделі розподіленої мережі та вирішено питання перебування оптимальних характеристик мережі з циклічним правилом обслуговування з повним звільненням буфера.

Розглянуто підходи до створення корпоративних систем управління з використанням геоінформаційних технологій та Інтернет технологій. Наведено огляд програмних засобів компанії ESRI для реалізації ГІС функціональності систем подібного класу. Як приклад побудови таких систем розглянуто систему, розроблену для американської телекомунікаційної компанії MCI WorldCom - Collocation Sites Engineering. Наведено результати бізнес-аналізу технологічних процесів як автоматизованих відділів розглянуто архітектуру системи й описано деякі програмні рішення, використані в процесі реалізації програмного комплексу.

Для багатоальтернативного послідовного вирішального правила на основі апостеріорної ймовірності визначено оцінки нижніх порогів. Для їх обчислення використано задані умовні ймовірності розпізнавання та апріорні ймовірності гіпотез. Синтезоване правило дозволило приймати рішення на користь простої гіпотези та відкидати невдалі гіпотези. Аналіз синтезованого правила проведено на модельному прикладі за допомогою статистичного моделювання на ЕОМ.

Визначено аналітичний вираз для очікуваного залишкового напрацювання у випадку DM-розподілу наробітку до відмови. Показано адекватність отриманої оцінки.

Досліджено вплив найбільш популярних алгоритмів стиснення мовленнєвої інформації на ідентифікаційні характеристики мовленнєвого сигналу. Показано, що доцільно використовувати в реєстраторах мовленнєвих повідомлень алгоритми з незначним ступенем стиснення.

Викладено результати застосування методу, створеного з використанням технології knowledge dіscovery and data mіnіng або (що те ж саме) відкриваючих систем для розв'язання проблем із теорії чисел. Наведено одне з отриманих доведень у зв'язку з гіпотезою про нескінченність простих чисел-близнюків.

Побудовано двосторонні формули числового диференціювання за допомогою двосторонніх колокаційних багаточленів m-го порядку. Отримано апріорні та апостеріорні оцінки похибок наведених формул. Доведено, що двосторонні формули наближень k-ї похідної є формулами не нижче (m+1-k)-го порядку відносно кроку сітки вузлів h.

Подано огляд специфікацій і синтаксичних інструментів для формальних специфікацій, що застосовуються у мовах процедурного програмування. Запропоновано систему додаткових формальних специфікацій для опису програми. Вони описують блоки програм, функції (процедури), умови у різних програмних точках.

Встановлено актуальність дослідження аспектів надійності локальних обчислювальних мереж (ЛОМ) з розподіленою інформаційною базою даних (РІБД). Запропоновано методику аналізу обчислювального процесу (ОП) і робочого навантаження (РН) за наявності процесів відмови і відновлення працездатності компонентів ЛОМ. Змінними параметрами імітаційної моделі (ІМ) ОП і РН на ЛОМ з РІБД були: імовірність відмови центрального процесора (ЦП) і зовнішньої пам'яті, розміри РіБД, швидкості обробки інформації ЦП робочих вузлів і сервера ЛОМ. Оцінено вплив на відгуки ІМ ОП і РН на ЛОМ кожного з цих параметрів. Розраховано коефіцієнти лінійно регресійної залежності відгуків ІМ ОП і РН на ЛОМ від параметрів надійності компонентів обладнання і програмного забезпечення ЛОМ.

Досліджено інформаційно-статистичні властивості знакової системи української мови. Отримано значення ентропії для українського друкованого тексту, розподіл ймовірностей символів та марковські ймовірності переходу.

Важкорозв'язні комбінаторні задачі - це алгоритмічна основа математичного моделювання процесів комп'ютеризованого планування та керування важкими організаційно-технологічними системами: планування та керування дрібносерійним виробництвом, експертні та інформаційні системи, моделі та засоби баз даних та знань, вибір проектів, теорія класифікацій, теорія кодування. Введення поняття ПДС-алгоритмів для важкорозв'язних комбінаторних задач дозволило будувати точні алгоритми для цього класу задач шляхом виділення в них поліноміальної складової. Належність індивідуальної задачі, що розглядається, до поліноміально розв'язуваних, визначається в процесі розв'язання цієї задачі у випадку, коли вона задовольняє умовам поліноміальної гілки ПДС-алгоритму. Ефективність ПДС-алгоритму визначено ефективністю його поліноміальної складової. Розглянуто модифіковану версію оригінального ПДС-алгоритму побудови оптимального розв'язку задачі "Максимальна незалежна множина". Розглянуто визначені автором властивості оптимального розв'язку задачі. Надано приклади умов поліноміальної складової запропонованого алгоритму.

Під час обміну інформацією в комп'ютерних мережах інколи виникає необхідність приховати сам факт пересилання даних. Розглянуто проблему захисту від несанкціонованого спостереження за трафіком користувача та запропоновано метод, який дозволяє приховати факти обміну даними між двома вузлами, наведено приклад його використання для мереж із стеком протоколів TCP/IP.

В обговоренні філософсько-методичного обгрунтування методу наукового передбачення як міждисциплінарного системного підходу до розробки науково-технологічної політики пропонується соціально-економічне пояснення. В основі останнього використані уявлення про великі технологічні системи, в надрах яких зароджуються нові технологічні парадигми. Стосовно передбачення в інформаційній галузі аргументуються окремі аспекти науково-технологічної політики у плані захисту вітчизняного виробника інформаційних технологій і наукової продукції, що є найважливішими компонентами підвищення конкурентоспроможності виробництва.

Представлені матеріали з методології наукового передбачення у її розвитку. Розкриті суть і можливості методологічного принципу системного підходу, народженого загальною теорією систем Берталанфі у синтезі з теоремою Геделя. Зроблено висновок про досконалість на сьогоднішній день описаної методології. Наводиться приклад користування системним підходом.

Проаналізовано сучасний стан розвитку комп'ютерних технологій у світі та в Україні. Розглянуто нейроподібні мережі, збільшуються, розроблені на основі аналізу наукових ідей, що відображають закономірності в побудові та функціонуванні біологічних структур мозку, а також аналізу та синтезу знань, вироблених різноманітними напрямками в Computer Scіence. Запропоновано концепцію розробки нового класу інтелектуальних багатопроцесорних ЕОМ як засобу виводу України з технологічної безвиході.